Towards Formal Modeling and Verification of Context-Aware Systems
نویسندگان
چکیده
Taha Abdelmoutaleb Cherfia LIRE Laboratory Software Technologies and Information Systems Department, Constantine 2 University Algeria [email protected] Faïza Belala LIRE Laboratory Software Technologies and Information Systems Department, Constantine 2 University Algeria [email protected] Kamel Barkaoui Laboratoire CEDRIC Conservatoire Nationale des Arts et Métiers CNAM, Paris Cedex 03, France [email protected]
منابع مشابه
Context - Aware Payment for Supply Chains : Software Architecture and Formal Verification
Lack of automation in supply chain payment systems is one of the missing points in the area of optimizations and can cause inefficiencies in the total performance of the chain. To overcome this problem, a new context-aware payment method is introduced in this paper, based on pervasive and ubiquitous computing technologies. The main architectural structure is inspired from the Service-Oriented C...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملFormal Modeling and Verification of Context-Aware Systems Using Event-B
Context awareness is a computing paradigm that makes applications responsive and adaptive with their environment. Formal modeling and verification of context-aware systems are challenging issues in the development as they are complex and uncertain. In this paper, we propose an approach to use a formal method Event-B to model and verify such systems. First, we specify a context aware system’s co...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کامل